Nuprl Definition : rps
11,40
postcript
pdf
rps(
x
;
y
)
== bor(band((
x
=
2); (
y
=
0)); bor(band((
x
=
1); (
y
=
2)); band((
x
=
0); (
y
=
1))))
latex
Definitions
bor(
p
;
q
)
,
band(
p
;
q
)
,
(
i
=
j
)
,
#$n
FDL editor aliases
rps
origin